منابع مشابه
Retracing CSP
The original CSP was a language for parallel imperative programs communicating by synchronized message-passing. Most of the early foundational work concerned a more abstract process algebra, now known as Theoretical CSP (or TCSP). The early semantic models involved communication traces, refusals, failures, and divergence traces. These models support compositional reasoning about safety properti...
متن کاملRetracing the Semantics of CSP
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The influence of CSP and the closely related process algebra TCSP is widespread. Over the years CSP has been equipped with a series of denotational semantic models, involving notions such as communication traces, failure...
متن کاملRetracing Some Paths in Process Algebra
The very existence of the concur conference bears witness to the fact that “concurrency theory” has developed into a subject unto itself, with substantially different emphases and techniques to those prominent elsewhere in the semantics of computation. Whatever the past merits of this separate development, it seems timely to look for some convergence and unification. In addressing these issues,...
متن کاملEmbryological significance of lymphangioma.
Since 1938 when Goetsch studied injected surgical specimens, the growth of cystic hygromas has always been considered as a continuous budding from the walls of the tumour cavity. This phenomenon was compared to the foetal centrifugal development of peripheral lymphatics from the walls of the primary lymphatic sacs, in keeping with Florence Sabin's theory of lymphatic embryology (1912). Although...
متن کاملEmbryological variation during nematode development.
Early cell lineages and arrangement of blastomeres in C. elegans are similar to the pattern found in Ascaris and other studied nematodes leading to the assumption that embryonic development shows little variation within the phylum Nematoda. However, analysis of a larger variety of species from various branches of the phylogenetic tree demonstrate that prominent variations in crucial steps of ea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science
سال: 2016
ISSN: 0036-8075,1095-9203
DOI: 10.1126/science.aal2189